Yunzhan Gong, : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (50)
Les plus populaires
Liste
- Liste
- Tableau

1

Associations of Interleukin-1 Î² with H. pylori -Induced Gastric Atrophy and Syndrome of Dampness-Heat in the Spleen and Stomach in Subjects with H. pylori -Related Gastric Diseases

Zhang, Yunzhan, Chen, Xu, Gong, Lin, Li, Danyan, Dai, Yun-kai, Lan, Shaoyang, Luo, Qi, Chen, Bin, Chen, Weijing, Li, Ruliu, Hu, Ling

Journal:

Evidence-based Complementary and Alternative Medicine

Année:

2020

Langue:

english

Fichier:

PDF, 3.39 MB

english, 2020

2

[IEEE 14th Asian Test Symposium (ATS'05) - Calcutta, India (2005.12.21-2005.12.21)] 14th Asian Test Symposium (ATS'05) - A State Machine for Detecting C/C++ Memory Faults

Guangyan Huang,, Guangmei Zhang,, Xiaowei Li,, Yunzhan Gong,

Année:

2005

Langue:

english

Fichier:

PDF, 207 KB

english, 2005

3

Out-of-bounds array access fault model and automatic testing method study

Gao, Chuanping, Duan, Miyi, Tan, Liqun, Gong, Yunzhan

Journal:

Tsinghua Science & Technology

Année:

2007

Langue:

english

Fichier:

PDF, 283 KB

english, 2007

4

State verification for synchronous circuits

He Xinhua, Gong Yunzhan, Fu Qingling

Journal:

Journal of Electronics (China)

Année:

1997

Langue:

english

Fichier:

PDF, 204 KB

english, 1997

5

STG-based verification and test generation

He Xinhua, Gong Yunzhan, Wei Daozheng

Journal:

Journal of Electronics (China)

Année:

1996

Langue:

english

Fichier:

PDF, 299 KB

english, 1996

6

Deductive fault simulation algorithm based on fault collapsing

Gong Yunzhan, Wei Daozheng

Journal:

Journal of Computer Science and Technology

Année:

1993

Langue:

english

Fichier:

PDF, 312 KB

english, 1993

7

[IEEE 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) - Shanghai, China (2008.12.17-2008.12.20)] 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - An Application of Interval Analysis in Software Static Analysis

Wang, Yawen, Gong, Yunzhan, Chen, Junliang, Xiao, Qing, Yang, Zhaohong

Année:

2008

Langue:

english

Fichier:

PDF, 419 KB

english, 2008

8

[IEEE 2013 Workshops of 27th International Conference on Advanced Information Networking and Applications (WAINA) - Barcelona (2013.3.25-2013.3.28)] 2013 27th International Conference on Advanced Information Networking and Applications Workshops - Static Testing as a Service on Cloud

Siqin Chen,, Junfei Huang,, Yunzhan Gong,

Année:

2013

Langue:

english

Fichier:

PDF, 536 KB

english, 2013

9

Antifibrotic activity of galangin, a novel function evaluated in animal liver fibrosis model

Wang, Xinhui, Gong, Guoqing, Yang, Wenhui, Li, Yunzhan, Jiang, Meiling, Li, Linlin

Journal:

Environmental Toxicology and Pharmacology

Année:

2013

Langue:

english

Fichier:

PDF, 3.29 MB

english, 2013

10

[IEEE 2013 13th International Conference on Quality Software (QSIC) - Najing, China (2013.07.29-2013.07.30)] 2013 13th International Conference on Quality Software - An Approach to Fully Recognizing Addressable Expression

Dong, Yukun, Xing, Ying, Jin, Dahai, Gong, Yunzhan, Liu, Kai

Année:

2013

Langue:

english

Fichier:

PDF, 158 KB

english, 2013

11

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs

Li, Feiyu, Gong, Yunzhan

Année:

2012

Langue:

english

Fichier:

PDF, 257 KB

english, 2012

12

[IEEE 2009 International Conference on Test and Measurement (ICTM) - Hong Kong, Hong Kong (2009.12.5-2009.12.6)] 2009 International Conference on Test and Measurement - An improved global analysis for program bug checking

Wang, Yawen, Gong, Yunzhan, Qing Xiao,, Zhaohong Yang,

Année:

2009

Langue:

english

Fichier:

PDF, 854 KB

english, 2009

13

[IEEE 2012 19th Asia-Pacific Software Engineering Conference (APSEC) - Hong Kong, China (2012.12.4-2012.12.7)] 2012 19th Asia-Pacific Software Engineering Conference - An Interval-Based Model for Detecting Software Defect Using Alias Analysis

Zhou, Hongbo, Jin, Dahai, Gong, Yunzhan

Année:

2012

Langue:

english

Fichier:

PDF, 228 KB

english, 2012

14

[IEEE 2013 13th International Conference on Quality Software (QSIC) - Najing, China (2013.07.29-2013.07.30)] 2013 13th International Conference on Quality Software - Automatically Mining High Level Patterns of Software Faults within Methods

Zhang, Hailong, Zhang, Dalin, Jin, Dahai, Gong, Yunzhan, Wang, Chengcheng

Année:

2013

Langue:

english

Fichier:

PDF, 153 KB

english, 2013

15

[IEEE Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03 - Xi'an, China (2003.11.19-2003.11.19)] Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03 - An expression's single fault model and the testing methods

Yunzhan Gong,, Wanli Xu,, Xiaowei Li,

Année:

2003

Langue:

english

Fichier:

PDF, 213 KB

english, 2003

16

[IEEE 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Improving the accuracy of static analysis based on state partition

Zhang, Dalin, Zhang, Hailong, Jin, Dahai, Gong, Yunzhan

Année:

2013

Langue:

english

Fichier:

PDF, 278 KB

english, 2013

17

[IEEE 2011 11th International Conference on Quality Software (QSIC) - Madrid, Spain (2011.07.13-2011.07.14)] 2011 11th International Conference on Quality Software - Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model

Zhao, Yunshan, Gong, Yunzhan, Liu, Li, Xiao, Qing, Yang, Zhaohong

Année:

2011

Langue:

english

Fichier:

PDF, 411 KB

english, 2011

18

[IEEE 2010 Asia-Pacific Services Computing Conference (APSCC) - Hangzhou, China (2010.12.6-2010.12.10)] 2010 IEEE Asia-Pacific Services Computing Conference - Defect Analysis Respecting Dead Path Elimination in BPEL Process

Yang, Xuehong, Huang, Junfei, Gong, Yunzhan

Année:

2010

Langue:

english

Fichier:

PDF, 188 KB

english, 2010

19

[IEEE 2010 2nd International Conference on Computer Engineering and Technology - Chengdu, China (2010.04.16-2010.04.18)] 2010 2nd International Conference on Computer Engineering and Technology - A static analysis method of WSDL related defect pattern in BPEL

Keke Ye,, Junfei Huang,, Yunzhan Gong,, Xuehong Yang,

Année:

2010

Langue:

english

Fichier:

PDF, 272 KB

english, 2010

20

[IEEE 2010 2nd International Conference on Computer Engineering and Technology - Chengdu, China (2010.04.16-2010.04.18)] 2010 2nd International Conference on Computer Engineering and Technology - An EMF activity tree based BPEL defect pattern testing method

Junfei Huang,, Gong, Yunzhan

Année:

2010

Langue:

english

Fichier:

PDF, 151 KB

english, 2010

21

[IEEE 2013 10th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD) - Shenyang, China (2013.07.23-2013.07.25)] 2013 10th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD) - Automatically mining similar warnings and warning combinations

Dalin Zhang,, Dahai Jin,, Ying Xing,, Hailong Zhang,, Yunzhan Gong,

Année:

2013

Langue:

english

Fichier:

PDF, 256 KB

english, 2013

22

[IEEE 2009 International Conference on Test and Measurement (ICTM) - Hong Kong, Hong Kong (2009.12.5-2009.12.6)] 2009 International Conference on Test and Measurement - Static data flow analysis and anomalies detection for BPEL

Xuehong Yang,, Junfei Huang,, Yunzhan Gong,

Année:

2009

Langue:

english

Fichier:

PDF, 741 KB

english, 2009

23

[IEEE 2011 18th Asia Pacific Software Engineering Conference - Ho Chi Minh, Vietnam (2011.12.5-2011.12.8)] 2011 18th Asia-Pacific Software Engineering Conference - STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic

Zhao, Yunshan, Wang, Yawen, Gong, Yunzhan, Chen, Honghe, Xiao, Qing, Yang, Zhaohong

Année:

2011

Langue:

english

Fichier:

PDF, 314 KB

english, 2011

24

[Shanghai Sci. & Technol. Literature Publishing House 2nd International Conference on ASIC - Shanghai, China (21-24 Oct. 1996)] 2nd International Conference on ASIC - The complexity analysis of fault simulation algorithm for digital circuits

Année:

1996

Langue:

english

Fichier:

PDF, 336 KB

english, 1996

25

[IEEE 2012 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops - A Static Detecting Model for Invalid Arithmetic Operation Based on Alias Analysis

Zhou, Hongbo, Wang, Qian, Jin, Dahai, Gong, Yunzhan

Année:

2012

Langue:

english

Fichier:

PDF, 265 KB

english, 2012

26

[IEEE 2013 IEEE Conference Anthology - China (2013.01.1-2013.01.8)] IEEE Conference Anthology - A method of locating fault based on software monitoring

Zhang Wei,, Gong Yunzhan,, Xiao Qing,

Année:

2013

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2013

27

[IEEE 2009 International Conference on Test and Measurement (ICTM) - Hong Kong, Hong Kong (2009.12.5-2009.12.6)] 2009 International Conference on Test and Measurement - Application of pre-function information in software testing based on defect patterns

Jin Dahai,, Gong Yunzhan,, Xiao Qing,, Yang Zhaohong,

Année:

2009

Langue:

english

Fichier:

PDF, 609 KB

english, 2009

28

[ACM Press Proceeding of the 6th international workshop - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 6th international workshop on Automation of software test - AST '11 - Design of intelligent agents for collaborative testing of service-based systems

Bai, Xiaoying, Chen, Bin, Ma, Bo, Gong, Yunzhan

Année:

2011

Langue:

english

Fichier:

PDF, 764 KB

english, 2011

29

[IEEE 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Bangkok (2013.12.2-2013.12.5)] 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Diagnosis-Oriented Alarm Correlations

Zhang, Dalin, Jin, Dahai, Gong, Yunzhan, Zhang, Hailong

Année:

2013

Langue:

english

Fichier:

PDF, 317 KB

english, 2013

30

[IEEE 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Bangkok (2013.12.2-2013.12.5)] 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Null Dereference Detection via a Backward Analysis

Wang, Qian, Jin, Dahai, Gong, Yunzhan

Année:

2013

Langue:

english

Fichier:

PDF, 289 KB

english, 2013

31

[IEEE 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) - Naples, Italy (2014.11.3-2014.11.6)] 2014 IEEE International Symposium on Software Reliability Engineering Workshops - A Memory Model Based on Three-Valued Matrix for Static Defect Detection

Wang, Qian, Jin, Dahai, Gong, Yunzhan

Année:

2014

Langue:

english

Fichier:

PDF, 602 KB

english, 2014

32

[IEEE 2008 ISECS International Colloquium on Computing, Communication, Control, and Management - Guangzhou, China (2008.08.3-2008.08.4)] 2008 ISECS International Colloquium on Computing, Communication, Control, and Management - A Translation Mechanism from CPL to Java Code Based on Component Reuse

Zheng, Guang, Gong, Yunzhan, Yang, Zhaohong, Zou, Xin

Année:

2008

Langue:

english

Fichier:

PDF, 372 KB

english, 2008

33

[IEEE 2003 5th International Conference on ASIC Proceedings (IEEE Cat No 03TH8690) ICASIC-03 - Beijing, China (2003.10.24-2003.10.24)] 2003 5th International Conference on ASIC Proceedings (IEEE Cat No 03TH8690) ICASIC-03 - A low power BIST TPG design

He Ronghui,, Li Xiaowei,, Gong Yunzhan,

Année:

2003

Langue:

english

Fichier:

PDF, 266 KB

english, 2003

34

Test input generation of bitwise operation based on four-valued logic

Li, Feng, Wang, Yawen, Gong, Yunzhan

Journal:

International Journal of Computers and Applications

Année:

2018

Langue:

english

Fichier:

PDF, 1.35 MB

english, 2018

35

Using k-Mix-Neighborhood Subdigraphs to Compute Canonical Labelings of Digraphs

Hao, Jianqiang, Gong, Yunzhan, Wang, Yawen, Tan, Li, Sun, Jianzhi

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 2.72 MB

english, 2017

36

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 - Subsuming mutation operators

Lin, Huan, Wang, Yawen, Gong, Yunzhan

Année:

2018

Langue:

english

Fichier:

PDF, 477 KB

english, 2018

37

Domain-RIP Analysis: A Technique for Analyzing Mutation Stubbornness

Lin, Huan, Wang, Yawen, Gong, Yunzhan, Jin, Dahai

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 1.54 MB

english, 2018

38

Nodes deployment optimization algorithm based on improved evidence theory of underwater wireless sensor networks

Song, Xiaoli, Gong, Yunzhan, Jin, Dahai, Li, Qiangyi

Journal:

Photonic Network Communications

Année:

2018

Langue:

english

Fichier:

PDF, 1023 KB

english, 2018

39

[ACM Press the 7th Asia-Pacific Symposium - Wuhan, China (2015.11.06-2015.11.06)] Proceedings of the 7th Asia-Pacific Symposium on Internetware - Internetware '15 - A hybrid static analysis refinement approach within internetware environment

Zhang, Dalin, Yin, Gang, Jin, Dahai, Gong, Yunzhan, Wu, Tianshuang, Zhang, Hailong

Année:

2015

Langue:

english

Fichier:

PDF, 615 KB

english, 2015

40

[IEEE 2018 IEEE International Conference on Electronics and Communication Engineering (ICECE) - Xi'an, China (2018.12.10-2018.12.12)] 2018 IEEE International Conference on Electronics and Communication Engineering (ICECE) - File Similarity Determination Based on Function Call Graph

Zhang, Jin, Jin, Dahai, Gong, Yunzhan

Année:

2018

Langue:

english

Fichier:

PDF, 116 KB

english, 2018

41

A variable-level automated defect identification model based on machine learning

Zhang, Yuwei, Xing, Ying, Gong, Yunzhan, Jin, Dahai, Li, Honghui, Liu, Feng

Journal:

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Année:

2019

Langue:

english

Fichier:

PDF, 1.71 MB

english, 2019

42

[IEEE 2017 International Conference on Computer Systems, Electronics and Control (ICCSEC) - Dalian (2017.12.25-2017.12.27)] 2017 International Conference on Computer Systems, Electronics and Control (ICCSEC) - Research on the Construction of Interprocedural Def-Use Relationship

Shen, Ruoye, Jin, Dahai, Gong, Yunzhan, Xing, Ying

Année:

2017

Langue:

english

Fichier:

PDF, 3.72 MB

english, 2017

43

Detecting Interprocedural Infeasible Paths Based on Unsatisfiable Path Constraint Patterns

Zhu, Honglei, Jin, Dahai, Gong, Yunzhan, Xing, Ying, Zhou, Mingnan

Journal:

Année:

2019

Fichier:

PDF, 7.02 MB

2019

44

Use the K-Neighborhood Subgraphs to Compute Canonical Labelings of Graphs

Hao, Jianqiang, Gong, Yunzhan, Sun, Jianzhi, Tan, Li

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 815 KB

english, 2019

45

A Model for Predicting Statement Mutation Scores

Tan, Lili, Gong, Yunzhan, Wang, Yawen

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 1023 KB

english, 2019

46

A Model for Predicting Statement Mutation Scores

Tan, Lili, Gong, Yunzhan, Wang, Yawen

Journal:

Année:

2019

Fichier:

PDF, 1023 KB

2019

47

An Efficient Code-defect Testing Distributed System

Zhou, Mingnan, Jin, Dahai, Liu, Songyi, Gong, Yunzhan

Journal:

IOP Conference Series Materials Science and Engineering

Année:

2019

Langue:

english

Fichier:

PDF, 161 KB

english, 2019

48

Automated defect identification via path analysis-based features with transfer learning

Zhang, Yuwei, Jin, Dahai, Xing, Ying, Gong, Yunzhan

Journal:

Journal of Systems and Software

Année:

2020

Fichier:

PDF, 2.75 MB

2020

49

Statistical testing data generation for UAS

Sui, Jianwei, Gong, Yunzhan, Jin, Dahai, Wang, Yawen

Journal:

IOP Conference Series Materials Science and Engineering

Année:

2020

Fichier:

PDF, 365 KB

2020

50

An efficient method of logical expression constraint solving in path-oriented unit test

Wang, Yalan, Liu, Songyi, Wang, Yawen, Gong, Yunzhan

Journal:

IOP Conference Series Materials Science and Engineering

Année:

2020

Fichier:

PDF, 1.64 MB

2020